1. Automated Reasoning and Mathematics
Author: / Maria Paola Bonacina, Mark E. Stickel
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE|ROBOTICS
Classification :
E-BOOK
2. Automated deduction - CADE-24 :
Author: 24th International Conference on Automated Deduction, Lake Placid, NY, USA, June 9-14, 2013 ; Maria Paola Bonacina (ed.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Automatisches Beweisverfahren,DÉDUCTION + DÉMONSTRATION DE THÉORÈMES (INTELLIGENCE ARTIFICIELLE),DEDUKTION + BEWEISEN VON THEOREMEN (KÜNSTLICHE INTELLIGENZ)
3. 24- CADEتAutomated Deduction
Author: / Maria Paola Bonacina
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE|COMPUTER SCIENCE, SOFTWARE ENGINEERING|ROBOTICS
Classification :
E-BOOK
4. Italian verbs
Author: Bonacina, Maria.
Library: Central Library and Documentation Center (Kerman)
Subject: Verb ، Italian language,Self-instruction ، Italian language,Textbooks for foreign speakers - English ، Italian language
Classification :
PC
1271
.
B67
2003
